SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS
نویسندگان
چکیده
Abstract We provide a model theoretical and tree property-like characterization of $\lambda $ - $\Pi ^1_1$ -subcompactness supercompactness. explore the behavior these combinatorial principles at accessible cardinals.
منابع مشابه
Equiconsistencies at subcompact cardinals
We present equiconsistency results at the level of subcompact cardinals. Assuming SBHδ, a special case of the Strategic Branches Hypothesis, we prove that if δ is a Woodin cardinal and both 2(δ) and 2δ fail, then δ is subcompact in a class inner model. If in addition 2(δ) fails, we prove that δ is Π21 subcompact in a class inner model. These results are optimal, and lead to equiconsistencies. A...
متن کاملSubcompact Cardinals, Squares, and Stationary Reflection
We generalise Jensen’s result on the incompatibility of subcompactness with . We show that α+-subcompactness of some cardinal less than or equal to α precludes α, but also that square may be forced to hold everywhere where this obstruction is not present. The forcing also preserves other strong large cardinals. Similar results are also given for stationary reflection, with a corresponding stren...
متن کاملLadder Systems on Trees
We formulate the notion of uniformization of colorings of ladder systems on subsets of trees. We prove that Suslin trees have this property and also Aronszajn trees in the presence of Martin’s Axiom. As an application we show that if a tree has this property, then every countable discrete family of subsets of the tree can be separated by a family of pairwise disjoint open sets. Such trees are t...
متن کاملFrom Subcompact to Domain Representable
We introduce the property generalized subcompact and prove that subcompact implies generalized subcompact and that generalized subcompact implies domain representable. We develop a simplified characterization of domain representable. We also present an extension X of Debs’ space and prove that X is generalized subcompact but α does not have a stationary winning strategy in the Banach-Mazur game...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2022
ISSN: ['1943-5886', '0022-4812']
DOI: https://doi.org/10.1017/jsl.2022.11